41. Emploi des ordinateurs; introduction au software
پدیدآورنده: / par Jean-Claude Faure avec la collaboration de Bernard Lorho. Pref. de Michel Laudet. Presentation de Rene Malgoire
کتابخانه: كتابخانه پردیس علوم (دانشگاه تهران) (تهران)
موضوع: Electronic digital computers -- Programming,Programming languages (Electronic computers)
رده :
QA
76
.
C37
no
.
2
42. Emploi des ordinateurs; introduction au software
پدیدآورنده: Faure, Jean Claude
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Electronic digital computers-- Programming,، Programming languages )Electronic computers(
رده :
QA
76
.
C37
no
.
2
1974
43. Emploi des ordinateurs; introduction au software
پدیدآورنده: / par Jean-Claude Faure avec la collaboration de Bernard Lorho. Pref. de Michel Laudet. Presentation de Rene Malgoire
کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)
موضوع: Electronic digital computers - Programming,Programming languages (Electronic computers)
رده :
QA76
.
C37
,
no
.
2
1974
44. Fairness
پدیدآورنده: Francez, Nissim.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Electronic digital computers-- Programming,، Programming languages )Electronic computers(-- Semantics,، Parallel processing )Electronic computers(
رده :
QA
76
.
6
.
F7226
1986
45. Fairness
پدیدآورنده: FRANCEZ,NISSIM
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع: ELECTRONIC DIGITAL COMPUTERS-PROGRAMMING , PROGRAMMING LANGUAGES )ELECTRONIC , PARALLEL PROCESSING
رده :
QA
76
.
6
.
F7226
46. Fairness
پدیدآورنده: / Nissim Francez
کتابخانه: كتابخانه پردیس علوم (دانشگاه تهران) (تهران)
موضوع: Electronic digital computers -- Programming,Programming languages (Electronic computers) -- Semantics,Parallel processing (Electronic computers)
رده :
QA
76
.
6
.
F7226
1986
47. Formal description technique
پدیدآورنده: / edited by K.R. Parker, G.A. Rose
کتابخانه: کتابخانه دانشکدگان فنی 1 دانشگاه تهران (تهران)
موضوع: Electronic digital computers -- Programming -- Congresses,Formal languages -- Congresses
رده :
QA
76
.
6
.
I185
1992
48. Formal description techniques, II
پدیدآورنده: / Edited by Son T. Vuong
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه تهران (تهران)
موضوع: Electronic digital computers -- Programming -- Congresses,Formal languages-- Congresses
رده :
QA
76
.
6
.
I1778
1989
49. Formal description techniques III
پدیدآورنده: / Edited by Juan Quemada, Jose Manas, Enrique Vazquez
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه تهران (تهران)
موضوع: Electronic digital computers -- Programming -- Congresses,Formal languages-- Congresses
رده :
QA
76
.
6
.
I185
1990
50. Formal specification and software development
پدیدآورنده: Bjorner, Dines
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: Programming ، Electronic digital computers,، Programming languages )Electronic computers(
رده :
QA
76
.
6
.
B575
1982
51. Funamrntal concepts of programming systems
پدیدآورنده: Ullman, Jeffriy D
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: Programming ، Electronic digital computers,، Programming languages )Electronic computers(
رده :
QA
76
.
6
.
U44
52. Fundamental concepts of programming systems
پدیدآورنده : Ullman , Jffrey d
موضوع : ، Electronic digital computers - programming,، Programming languages ) electronic computers(
۳ نسخه از این کتاب در ۳ کتابخانه موجود است.
53. High-level language computer architecture
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Electronic digital computers-- Programming,، Programming languages )Electronic computers(,، Electronic digital computers-- Design and construction
رده :
QA
76
.
6
.
H53
54. High-level language computer architecture
پدیدآورنده: / edited by Yaohan Chu
کتابخانه: كتابخانه پردیس علوم (دانشگاه تهران) (تهران)
موضوع: Electronic digital computers -- Programming,Programming languages (Electronic computers),Electronic digital computers -- Design and construction
رده :
QA
76
.
6
.
H53
55. Information technology: the human use of computers
پدیدآورنده: Katzan, Harry
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: ، Electronic digital computers,، Programming languages )Electronic computers(,، Computers and civilization
رده :
QA
76
.
6
.
K36
1974
56. Information technology: the human use of computers
پدیدآورنده : Katzan, Harry.
موضوع : ، Electronic digital computers,، Programming languages )Electronic computers(,، Computers and civilization
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
57. Informatique
پدیدآورنده: / par Daniel-Jean David,David
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه تهران (تهران)
موضوع: Electronic data processing,Electronic digital computers - Programming,Programming languages ( Electronic computers)
رده :
QA
76
.
D33328
58. Introduction to computer data processing
پدیدآورنده: / Margaret S. Wu
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Electronic data processing,Electronic digital computers,Programming languages (Electronic computers)
رده :
QA76
.
W83
59. Introduction to computer data processing
پدیدآورنده: Wu, Margaret Schlosser.
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: ، Electronic data processing,، Electronic digital computers,، Programming languages )Electronic computers(
رده :
QA
76
.
W9
60. Introduction to computer data processing
پدیدآورنده: / Margaret S. Wu
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Electronic data processing,Electronic digital computers,Programming languages (Electronic computers)
رده :
QA76
.
W83
